A Distribution Law for CCS and a New Congruence Result for the pi-calculus

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the pi-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.Comment: 20 page

Supporting Data mining of large databases by visual feedback queries

In this paper, we describe a query system that provides visual relevance feedback in querying large databases. Our goal is to support the process of data mining by representing as many data items as possible on the display. By arranging and coloring the data items as pixels according to their relevance for the query, the user gets a visual impression of the resulting data set. Using an interactive query interface, the user may change the query dynamically and receives immediate feedback by the visual representation of the resulting data set. Furthermore, by using multiple windows for different parts of a complex query, the user gets visual feedback for each part of the query and, therefore, may easier understand the overall result. Our system allows to represent the largest amount of data that can be visualized on current display technology, provides valuable feedback in querying the database, and allows the user to find results which, otherwise, would remain hidden in the database

A computational framework for elliptic inverse problems with uncertain boundary conditions

This project concerns the computational solution of inverse problems formulated as partial differential equation (PDE)-constrained optimization problems with interior data. The areas addressed are twofold. First, we present a novel software architecture designed to solve inverse problems constrained by an elliptic system of PDEs. These generally require the solution of forward and adjoint problems, evaluation of the objective function, and computation of its gradient, all of which are approximated numerically using finite elements. The creation of specialized "layered"' elements to perform these tasks leads to a modular software structure that improves code maintainability and promotes functional interoperability between different software components. Second, we address issues related to forward model definition in the presence of boundary condition (BC) uncertainty. We propose two variational formulations to accommodate that uncertainty: (a) a Bayesian formulation that assumes Gaussian measurement noise and a minimum strain energy prior, and (b) a Lagrangian formulation that is completely free of displacement and traction BCs. This work is motivated by applications in the field of biomechanical imaging, where the mechanical properties within soft tissues are inferred from observations of tissue motion. In this context, the constraint PDE is well accepted, but considerable uncertainty exists in the BCs. The approaches developed here are demonstrated on a variety of applications, including simulated and experimental data. We present modulus reconstructions of individual cells, tissue-mimicking phantoms, and breast tumors

Electron-Ion Collider impact study on the tensor charge of the nucleon

In this letter we study the impact of the Electron-Ion Collider (EIC) on the phenomenological extraction of the tensor charge from a QCD global analysis of single transverse-spin asymmetries (SSAs). We generate EIC pseudo-data for the Collins effect in semi-inclusive deep-inelastic scattering for proton and $^{3\!}He$ beams across multiple center-of-mass energies. We find a significant reduction in the uncertainties for the up, down, and isovector tensor charges that will make their extraction from EIC data on SSAs as precise as current lattice QCD calculations. We also analyze the constraints placed by future data from the proposed SoLID experiment at Jefferson Lab, discuss its important complementary role to the EIC, and present the combined impact from both facilities.Comment: 12 pages, 6 figures, 1 table; minor changes; version to be published in PL

Acute corneal melt and perforation - A possible complication after riboflavin/UV-A crosslinking (CXL) in keratoconus.

Purpose To report two cases of acute corneal melting and perforation requiring emergency penetrating keratoplasty after corneal crosslinking (CXL) in advanced keratoconus. Observations Case 1 was a 34 and case 2 was a 16-year old male, both with progressive keratoconus, who underwent CXL (Dresden protocol). After riboflavin imbibition, patients had a minimal pachymetry of 337 μm and 347 μm, and therefore required stromal swelling by hypoosmolar riboflavin resulting in pachymetries of 470 μm and 422 μm, prior to the 30 minute UV-irradiation with 3mW/cm2. In case 1, on the 7th postoperative day a 4mm linear perforation occurred. Extensive post-hoc examinations revealed no infectious cause. In case 2, a corneal melting developed within 24 hours, from which Staphylococcus aureus was cultured. Conclusions and importance Acute corneal melting and perforation may occur after CXL. Dysfunctional collagen metabolism, atopia, thin preoperative pachymetry and the use of hypoosmolar substances may have initiated this complication in our cases

Additional experimental evidence for a solar influence on nuclear decay rates

Additional experimental evidence is presented in support of the recent hypothesis that a possible solar influence could explain fluctuations observed in the measured decay rates of some isotopes. These data were obtained during routine weekly calibrations of an instrument used for radiological safety at The Ohio State University Research Reactor using Cl-36. The detector system used was based on a Geiger-Mueller gas detector, which is a robust detector system with very low susceptibility to environmental changes. A clear annual variation is evident in the data, with a maximum relative count rate observed in January/February, and a minimum relative count rate observed in July/August, for seven successive years from July 2005 to June 2011. This annual variation is not likely to have arisen from changes in the detector surroundings, as we show here.Comment: 8 pages, 6 figure

Adverse Drug Reactions and Avalanches: Life at the Edge of Chaos

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/97209/1/0091270005278056.pd

Double spin asymmetry A_{LT} in direct photon production

We study the longitudinal-transverse double spin asymmetry $A_{LT}$ for direct photon production in nucleon-nucleon scattering by using the collinear twist-3 approach. This asymmetry, which, for instance, could be measured at RHIC, contains a complete set of collinear twist-3 correlation functions in a transversely polarized nucleon.Comment: 9 pages, 1 figur